- доказанное предложение
- fact
Русско-английский технический словарь.
доказанное предложение
Смотреть что такое "доказанное предложение" в других словарях:
ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ЛЕММА — (греч. lemma, от lambano думаю, убеждаю). Предложение, доказанное раньше, на котором основывается последующее. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛЕММА в логике и математике положение, доказанное… … Словарь иностранных слов русского языка
Александр II (часть 2, I-VII) — ЧАСТЬ ВТОРАЯ. Император Александр II (1855—1881). I. Война (1855). Высочайший манифест возвестил России о кончине Императора Николая и о воцарении его преемника. В этом первом акте своего царствования молодой Государь принимал пред лицом… … Большая биографическая энциклопедия
Александр II (часть 2, VIII-XII) — VIII. Тысячелетие России (1861—1862). Высочайший манифест об освобождении крестьян, обнародованный в С. Петербурге и в Москве в воскресенье 5 го марта, был объявлен во всех губернских городах нарочно командированными генерал майорами свиты… … Большая биографическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Математика — Слово математика происходит от греческого μάθημα (наука, учение), в свою очередь происходящего, вместе с имеющим одно с ним значение словом μάθησις, от глагола μανθάνω, первоначальное значение которого, учусь через размышление , устанавливало… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Казанова, Джакомо — Запрос «Казанова» перенаправляется сюда; см. также другие значения. Джакомо Казанова Giacomo Casanova … Википедия
Врангель Фердинанд Петрович — Врангель (барон, Фердинанд Петрович) адмирал, генерал адъютант, член Государственного совета, почетный член Императорской Академии Наук, член Парижской Академии Наук и многих других ученых обществ. Родился в Пскове 29 декабря 1796 г. В 1807 г.,… … Биографический словарь
Строгановы, Никита Григорьевич и Максим Яковлевич — (двоюродные братья) дети Григория и Якова Аникиевичей, первые в роде "именитые люди", известны, главным образом, тем, что призвали к себе на службу волжских казаков во главе с Ермаком и снабдили их средствами для похода в Сибирь. При… … Большая биографическая энциклопедия
Врангель, барон Фердинанд Петрович — адмирал, генерал адъютант, член государственного совета, почетный член Императорской академии наук, член парижской академии наук и многих других ученых обществ. Род. в Пскове 29 декабря 1796 г. В 1807 г., после смерти родителей, В. был определен… … Большая биографическая энциклопедия
